Shaokai Lin
EMSOFT 2025: 25th International Conference on Embedded Software
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
Shaokai Lin,
Erling Jellum,
Mirco Theile,
Tassilo Tanneberger,
Binqi Sun,
Chadlia Jerad,
Ruomu Xu,
Guangyu Feng,
Magnus Mæhlum,
Martin Schoeberl,
Linh Thi Xuan Phan,
Jeronimo Castrillon,
Sanjit A. Seshia, and
Edward A. Lee
EMSOFT 2023: 23rd International Conference on Embedded Software
Consistency vs. Availability in Distributed Cyber-Physical Systems
Towards Building Verifiable CPS using Lingua Franca